scrolledwindow: Don't hide indicators if leaving towards a child

In that case the scrolledwindow still gets events through the captured
handler, and can thus still control visibility, so hiding the indicators
in this case can only lead to flashing.

diff --git a/gtk/gtkscrolledwindow.c b/gtk/gtkscrolledwindow.c
index bf1dbbac141cde37226903c2aae31bf5df1dc259..d469668d475af2ea1feab873a3ffa64de7ef0a40 100644 (file)
--- a/gtk/gtkscrolledwindow.c
+++ b/gtk/gtkscrolledwindow.c
@@ -393,7 +393,7 @@ gtk_scrolled_window_leave_notify (GtkWidget        *widget,
 {
   GtkScrolledWindowPrivate *priv = GTK_SCROLLED_WINDOW (widget)->priv;
 
-  if (priv->use_indicators)
+  if (priv->use_indicators && event->detail != GDK_NOTIFY_INFERIOR)
     {
       indicator_set_over (&priv->hindicator, FALSE);
       indicator_set_over (&priv->vindicator, FALSE);